Atom2Deq $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$\lambda$$a$,$b$. $a$ =a2 $b$$,\,$TERMOF\{atom2{-}deq{-}aux:ObjectId, 1:l\}$\rangle$